Concurrency and synchronization in Java programs
نویسندگان
چکیده
منابع مشابه
Concurrency - state models and Java programs
When writing can change your life, when writing can enrich you by offering much money, why don't you try it? Are you still very confused of where getting the ideas? Do you still have no idea with what you are going to write? Now, you will need reading. A good writer is a good reader at once. You can define how you write depending on what books to read. This concurrency state models and java pro...
متن کاملControlling Concurrency and Expressing Synchronization in Charm++ Programs
Charm++ is a parallel programming system that evolved over the past 20 years to become a well-established system for programming parallel science and engineering applications, in addition to the combinatorial search applications with which it started. At its earliest point, the precursor to Charm++, the Chare Kernel, was a purely reactive specification, similar to most actor languages. This pap...
متن کاملJava Concurrency in Practice
QueuedSynchronizer, upon which most of the state dependent classes in java.util.concurrent are built(see Section 14.4), exploits the concept of exit protocol. Rather than letting synchronizer classes perform their ownnotification, it instead requires synchronizer methods to return a value indicating whether its action might haveunblocked one or more waiting threads. This explicit AP...
متن کاملDeclarative Concurrency in Java
We propose a high-level language based on rst order logic for expressing synchronization in concurrent object-oriented programs. The language allows the programmer to declaratively state the system safety properties as temporal constraints on speci c program points of interest. Higher-level synchronization constraints on methods in a class may be de ned using these temporal constraints. The con...
متن کاملAdvanced concurrency control in Java
Developing concurrent applications is not a trivial task. As programs grow larger and become more complex, advanced concurrency control mechanisms are needed to ensure that application consistency is not compromised. Managing mutual exclusion on a per-object basis is not sufficient to guarantee isolation of sets of semantically-related actions. In this paper, we consider ‘atomic blocks’, a simp...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 2005
ISSN: 0167-6423
DOI: 10.1016/j.scico.2005.05.001